Model-based synthesis of control software from system-level formal specifications
نویسندگان
چکیده
منابع مشابه
Quantized Feedback Control Software Synthesis from System Level Formal Specifications
Many Embedded Systems are indeed Software Based Control Systems (SBCSs), that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic synthesis of SBCS control software. In previous works we presented an algorithm, along with a tool QKS implementing it, that from a fo...
متن کاملTests Derivation from Model Based Formal Specifications
Software testing consumes a large percentage of total software development costs. Yet, it is still usually performed manually in a non rigorous fashion. In this work we suggest how state of the art practices in the area of testing can be applied to the systematic generation of tests from model-based formal specifications.
متن کاملWeb-based Collaborative Model for Preparing Formal Software Specifications
Many software engineers consider the Web a suitable platform for richer cooperative work. It is a common knowledge that the Web is a successful collaborative environment. The Internet facilitates the way of collaboration by letting users easily share objects and access to information. The Web has progressed beyond the capacity to able displaying static information. Therefore, it can support the...
متن کاملRapid Development of a Distributed Shop Floor Control System from Formal Model-based Control Software Specification
As the level of distribution of resources in a shop floor grows, the development of control software for distributed shop floor control is of significant interest. Since hand-woven control software is expensive and difficult to reconfigure, a formal methodology that supports generating control software rapidly is in need of exploitation. Although a number of approaches to formal specification a...
متن کاملAutomatic Synthesis of Controllers from Formal Specifications
Many safety critical reactive systems are indeed embedded control systems. Usually a control system can be partitioned into two main subsystems: a controller and a plant. Roughly speaking: the controller observes the state of the plant and sends commands (stimulus) to the plant to achieve predeened goals. We show that when the plant can be modeled as a deterministic Finite State System (FSS) it...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Software Engineering and Methodology
سال: 2014
ISSN: 1049-331X,1557-7392
DOI: 10.1145/2559934